(declare-fun a () Int)
(declare-fun b () Int)
(declare-fun c () Int)
(declare-fun d () Int)
(declare-fun e () Int)
(assert (< (+ (* (+ 2 a) (- (- 2) b) (* 30 c)) e) 0))
(assert (> (/ 50 d e) 40))
(assert (<= (+ 20 a b) c 60 d))
(assert (>= e 2))
(check-sat)
